93.73/93.97	unsat
