93.47/93.73	unsat
