55.93/60.25	unsat
