Question: What is the average lap time for retired time of +23.707 and a Grid greater than 21?
SQL: SELECT AVG(laps) FROM table_name_23 WHERE time_retired = "+23.707" AND grid > 21