% UNSATISFIABLE PEOPLE = {A, B, C, D}; % A, B, C, D preferences = [|4, 1, 2, 3,| % A 2, 4, 1, 3,| % B 1, 2, 4, 3,| % C 1, 2, 3, 4,|]; % D