44.52/49.25	unsat
