Heavy Duty Solver