57.63/60.13	unsat
