Title: C2 SAT Grammar - Red