89.25/92.83	unsat
