出ました．Dは後で解説を見てheapqで通しました．

土曜日です．やすらぎますね． 起きたら婚記事があったので，読みました．人生ですねぇ～～～（特にコメントがないときに書くコメントです）．一般的な話ですが，条件を満たすインスタンスを見つける問題（CSP）は難しいと思います．そういう話じゃないかも…