93.34/96.48	unsat
