8.66/8.75	unsat
