94.96/95.27	unsat
