紫と黄色が使えないことはすぐわかるから、必ず解がある前提なら赤2個しかないね
でもこれ厳密に解けるか?