93.88/94.69	unsat
