93.59/93.87	unsat
