8.66/8.69	unsat
