89.93/93.50	unsat
