Отобразить двойную переменную с помощью целлюлозы

Я пытаюсь отобразить двойную переменную, используя целлюлозу с решателем по умолчанию, но всегда получаю None для двойных значений.

В этом примере:

from pulp import *
prob = LpProblem("test080", LpMinimize)
x = LpVariable("x", 0, 5)
y = LpVariable("y", -1, 1)
z = LpVariable("z", 0)
c1 = x+y <= 5
c2 = x+z >= 10
c3 = -y+z == 7

prob += x + 4*y + 9*z, "obj"
prob += c1, "c1"
prob += c2,"c2"
prob += c3,"c3"

prob.solve()

Если я напечатаю двойное значение каждого из ограничений, используя .pi, я получу None.

Есть ли способ получить двойное значение, используя решатель целлюлозы по умолчанию?

Спасибо!