57.25/58.51	unsat
