6.39/8.25	unsat
