問題生成なんかより解なし解ありの判定のほうがお題として面白かったんじゃなかろうか