モデルに基づいてソリューションを見つける