89.21/92.93	unsat
