57.61/59.81	unsat
