95.78/96.08	unsat
