88.37/92.52	unsat
