93.22/93.47	unsat
