Discussion of Oct SAT