57.14/58.25	unsat
