92.37/93.67	unsat
