93.51/93.72	unsat
