89.60/92.26	unsat
