93.82/94.96	unsat
