96.14/97.00	unsat
