Marcy spends 12 minutes petting her cat and 1/3 of that time combing it. How many minutes does she spend with her cat in total?
Please reason step by step, and put your final answer within \boxed{}.
user