public static void main ( String [ ] args ) {
  Scanner sc = new Scanner ( System . in ) ;
  int N = Integer . parseInt ( sc . next ( ) ) ;
  int M = Integer . parseInt ( sc . next ( ) ) ;
  double c = 1900.0 * M + 100.0 * ( N - M ) ;
  double p = 1.0 ;
  double res = 0.0 ;
  double q = 1.0 ;
  for ( int i = 0 ;
  i < M ;
  i ++ ) p *= 0.5 ;
  for ( int i = 1 ;
  i < 3000000 ;
  i ++ ) {
    res += i * c * p * q ;
    q *= 1 - p ;
  }
  double eps = 0.0000001 ;
  int ret = ( int ) Math . floor ( res + eps ) ;
  System . out . println ( ret ) ;
}

public static void main ( String [ ] args ) { Scanner sc = new Scanner ( System . in ) ; int N = Integer . parseInt ( sc . next ( ) ) ; int M = Integer . parseInt ( sc . next ( ) ) ; double c = 1900.0 * M + 100.0 * ( N - M ) ; double p = 1.0 ; double res = 0.0 ; double q = 1.0 ; for ( int i = 0 ; i < M ; i ++ ) p *= 0.5 ; for ( int i = 1 ; i < 3000000 ; i ++ ) { res += i * c * p * q ; q *= 1 - p ; } double eps = 0.0000001 ; int ret = ( int ) Math . floor ( res + eps ) ; System . out . println ( ret ) ; }
(method_declaration (modifiers) type: (void_type) name: (identifier) parameters: (formal_parameters (formal_parameter type: (array_type element: (type_identifier) dimensions: (dimensions)) name: (identifier))) body: (block (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (object_creation_expression type: (type_identifier) arguments: (argument_list (field_access object: (identifier) field: (identifier)))))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))))) (local_variable_declaration type: (floating_point_type) declarator: (variable_declarator name: (identifier) value: (binary_expression left: (binary_expression left: (decimal_floating_point_literal) right: (identifier)) right: (binary_expression left: (decimal_floating_point_literal) right: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))))))) (local_variable_declaration type: (floating_point_type) declarator: (variable_declarator name: (identifier) value: (decimal_floating_point_literal))) (local_variable_declaration type: (floating_point_type) declarator: (variable_declarator name: (identifier) value: (decimal_floating_point_literal))) (local_variable_declaration type: (floating_point_type) declarator: (variable_declarator name: (identifier) value: (decimal_floating_point_literal))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (identifier)) update: (update_expression (identifier)) body: (expression_statement (assignment_expression left: (identifier) right: (decimal_floating_point_literal)))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (decimal_integer_literal)) update: (update_expression (identifier)) body: (block (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (decimal_integer_literal) right: (identifier)))))) (local_variable_declaration type: (floating_point_type) declarator: (variable_declarator name: (identifier) value: (decimal_floating_point_literal))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (cast_expression type: (integral_type) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (binary_expression left: (identifier) right: (identifier))))))) (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (identifier))))))