Go through the subsumption list more than 1.5x -> 4.0x

Also, make this magic constant at least seen from SolverConf.h