89.48/94.00	unsat
