81.81/84.79	unsat
