text: Below is an context that describes a sql query, paired with an question that provides further information. Write an answer that appropriately completes the request.  # noqa: E501
  ### Context:
  CREATE TABLE table_name_5 (school_name VARCHAR, year_open VARCHAR)
  ### Question:
  WHAT IS THE HIGHEST 2012 ENROLLMENT FOR école mathieu-martin, AFTER 1972?
  ### Answer:
  SELECT MAX(2012 AS _enrolment) FROM table_name_5 WHERE school_name = "école mathieu-martin" AND year_open > 1972