fix presolving stuff (hopefully), weird names in input (definitely)