input = require('fs').readFileSync('/dev/stdin', 'utf8')
lines = input.split('\n')
line = lines.shift().split(' ')
N = line[0] * 1
M = line[1] * 1 
console.log((1900 * M  + 100 * (N -M)) * Math.pow(2, M))
