91.93/94.04	unsat
