Not sure I get why you reformulate from x + y + z = 15 to x' + y' + z' = 12 and related move from Natural numbers to non-negative integer numbers. It unnecessarily complicates the reasoning.