92.70/92.92	unsat
