% SATISFIABLE

PEOPLE = {A, B, C, D, E, F};

%               A, B, C, D, E, F
preferences = [|6, 3, 1, 2, 5, 4,|  % A
                4, 6, 3, 1, 2, 5,|  % B
                4, 1, 6, 2, 3, 5,|  % C
                5, 2, 3, 6, 1, 4,|  % D
                2, 3, 1, 4, 6, 5,|  % E
                2, 5, 3, 4, 1, 6,|];% F