89.50/92.48	unsat
