Найдите минимальную сумму

#z3 #z3py Вопрос: Найдите минимальную сумму элементов с одним элементом из каждой строки. Я думаю, что ответ -214, но z3py возвращается неудовлетворенным. Что случилось? from z3 import Solver, Int, ForAll,…