93.41/93.74	unsat
