user: Question: What is the average points value for a rank less than 12 for David Santee?
Columns: ['Rank', 'Name', 'Nation', 'SP+FS', 'Points', 'Placings']
Types: ['real', 'text', 'text', 'real', 'real', 'real']
Sample row: [1.0, 'Jan Hoffmann', 'East Germany', 2.0, 189.94, 11.0]
SQL:

assistant: SELECT AVG("Points") FROM "Table" WHERE "Rank" < 12.0 AND "Name" = 'David Santee';