7.88/8.25	unsat
