how many average laps did brm complete in grids larger than 12?
87.0