84.51/84.79	unsat
