now you can just use p.solve()