presolving

not defined yet