60.28/60.49	unsat
