SAT Grammar--Prioritized