CREATE TABLE table_12860 ("Designation" TEXT, "Launch date/time  (  GMT  ) " TEXT, "Mass" TEXT, "Apogee" TEXT, "Inclination" TEXT)

What is Designation, when Launch Date/Time ( GMT ) is 29 June 1972, 03:47?
SELECT "Designation" FROM table_12860 WHERE "Launch date/time ( GMT )" = '29 june 1972, 03:47'
SELECT "Designation" FROM "table_12860" WHERE "Launch date/time ( GMT )" = '29 june 1972, 03:47'