8.66/8.77	unsat
