user: Question: what is the ngc number when the constellation is Leo and the declination (j2000) is °42′13″?
Columns: ['NGC number', 'Object type', 'Constellation', 'Right ascension ( J2000 )', 'Declination ( J2000 )']
Types: ['real', 'text', 'text', 'text', 'text']
Sample row: [3310.0, 'Spiral galaxy', 'Ursa Major', '10h38m45.9s', '°30′12″']
SQL:

assistant: SELECT "NGC number" FROM "Table" WHERE "Constellation" = 'Leo' AND "Declination ( J2000 )" = '°42′13″';