95.49/96.14	unsat
