7.96/8.25	unsat
