Updated the SAT document - need to start generating test cases for G_{127}