Update problems/p012.json