94.39/94.63	unsat
