{ a ; -a }.
:- a, not -a.

% Answer: 1
%
% Answer: 2
% -a
% SATISFIABLE