Every SAT Grammar Rule in 15 Minutes