6.91/8.25	unsat
