a ; -a.
:- a, not -a.
% Answer: 1
% -a
% SATISFIABLE