CREATE TABLE table_name_4 (points INTEGER, team VARCHAR(255), lost VARCHAR(255))
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