93.31/93.54	unsat
