93.28/96.27	unsat
