7.66/8.87	unsat
