93.69/96.35	unsat
