Llévate tres y paga solo dos con el cupón TRIPLE
Constraint Solving Over Multi-valued Logics de segunda mano