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