>>191
制約は、
 ・1桁目に0はおけない
 ・4桁目は0, 3, 6 のいずれか

これが分かれば定式化できんか?
樹形図書いてみなよ