n,k=gets.split.map &:to_i;p 2**(n-k)--~k/k*n+n