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