% Just an example var int: x; solve satisfy;