形式的には、formula_39がformula_40を満たす場合、プランformula_41がこのインスタンスの解となる。