88.98/92.92	unsat
