9.66/9.75	unsat
