95.02/96.12	unsat
