93.35/94.93	unsat
