user: Question: What is the sum of state champions with more tan 9 MRC Championships, more than 4 co-champions, and a record of 192-189-3?
Columns: ['Records', 'Pct.', 'MRC Championships', 'Solo', 'Co-Champions', 'State Champions']
Types: ['text', 'real', 'real', 'real', 'real', 'real']
Sample row: ['11-3-0', 0.786, 1.0, 0.0, 1.0, 0.0]
SQL:

assistant: SELECT SUM("State Champions") FROM "Table" WHERE "MRC Championships" > 9.0 AND "Records" = '192-189-3' AND "Co-Champions" > 4.0;