92.51/93.14	unsat
