57.36/60.09	unsat
