93.88/93.91	unsat
