92.35/93.21	unsat
