What is Designation, when Launch Date/Time ( GMT ) is 29 June 1972, 03:47?
CREATE TABLE table_12860 (
    "Designation" text,
    "Launch date/time ( GMT )" text,
    "Mass" text,
    "Apogee" text,
    "Inclination" text
)
SELECT "Designation" FROM table_12860 WHERE "Launch date/time ( GMT )" = '29 june 1972, 03:47'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is Designation, when Launch Date/Time ( GMT ) is 29 June 1972, 03:47? ### Input: CREATE TABLE table_12860 (
    "Designation" text,
    "Launch date/time ( GMT )" text,
    "Mass" text,
    "Apogee" text,
    "Inclination" text
) ### Response: SELECT "Designation" FROM table_12860 WHERE "Launch date/time ( GMT )" = '29 june 1972, 03:47'