Title: C2 SAT Grammar - Blue