89.38/93.00	unsat
