95.00/95.27	unsat
