1% EXPECT: sat 2OPTION "logic" "ALL_SUPPORTED"; 3x : SET OF INT; 4y : SET OF INT; 5z : SET OF INT; 6 7ASSERT CARD( x ) > CARD( y ) AND CARD( y ) > CARD( z ); 8 9CHECKSAT; 10