92.53/93.08	unsat
