88.70/92.45	unsat
