95.08/96.70	unsat
