Question: Who played in group 12 when Group 9 played psid jombang?
SQL: SELECT group_12 FROM table_19523142_5 WHERE group_9 = "PSID Jombang"