Question: How many points for the navy team that lost over 11?
SQL: SELECT SUM(points) FROM table_name_4 WHERE team = "navy" AND lost > 11