57.34/60.26	unsat
