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_56 (number_of_electorates__2009_ INTEGER, district VARCHAR, name VARCHAR)
  ### Question:
  What Number of electorates (2009) has a District of mathura, and a Name of mant?
  ### Answer:
  SELECT MIN(number_of_electorates__2009_) FROM table_name_56 WHERE district = "mathura" AND name = "mant"