Corrected color SAT identifying Gray<3 Red<6 Yellow<9 Green>=9