93.36/96.13	unsat
