>>513 追加
(3a-2b+5c)/2>=2, (-3a+2b+5c)/2>=3, (3a+2b-5c)/2>=5
を満たす整数a,b,cの組み合わせは7個、その全てでx=log[2]((3a-2b+5c)/2)が整数に
ならずに不適。