92.52/93.52	unsat
