59.18/60.92	unsat
