x 
y 
% 
SAT
None
% (x,true) 
SAT
% (y,true) (x,true) 
SAT
None