https://123dok.net/document/yj7rk4d5-vision-trivaluée-problèmes-sat-max-sat.html