57.81/60.14	unsat
