6.81/8.25	unsat
