public static void main ( String [ ] args ) {
  Scanner in = new Scanner ( System . in ) ;
  int n = in . nextInt ( ) ;
  int k = in . nextInt ( ) ;
  List < int [ ] > list = new ArrayList < > ( ) ;
  for ( int i = 0 ;
  i < n ;
  i ++ ) {
    int [ ] tmp = {
      in . nextInt ( ) , in . nextInt ( ) };
      list . add ( tmp ) ;
    }
    list . sort ( ( x1 , x2 ) -> x1 [ 0 ] - x2 [ 0 ] ) ;
    long ans = Long . MAX_VALUE ;
    for ( int i = 0 ;
    i < n - k + 1 ;
    i ++ ) {
      for ( int j = i + k - 1 ;
      j < n ;
      j ++ ) {
        int [ ] y = new int [ j - i + 1 ] ;
        for ( int l = 0 ;
        l < j - i + 1 ;
        l ++ ) {
          y [ l ] = list . get ( l + i ) [ 1 ] ;
        }
        Arrays . sort ( y ) ;
        int yWidthMin = y [ k - 1 ] - y [ 0 ] ;
        for ( int l = 1 ;
        l + k - 1 < j - i + 1 ;
        l ++ ) {
          yWidthMin = Math . min ( yWidthMin , y [ l + k - 1 ] - y [ l ] ) ;
        }
        int xWidth = list . get ( j ) [ 0 ] - list . get ( i ) [ 0 ] ;
        ans = Math . min ( ans , ( long ) xWidth * yWidthMin ) ;
      }
    }
    System . out . println ( ans ) ;
    in . close ( ) ;
  }
  
public static void main ( String [ ] args ) { Scanner in = new Scanner ( System . in ) ; int n = in . nextInt ( ) ; int k = in . nextInt ( ) ; List < int [ ] > list = new ArrayList < > ( ) ; for ( int i = 0 ; i < n ; i ++ ) { int [ ] tmp = { in . nextInt ( ) , in . nextInt ( ) } ; list . add ( tmp ) ; } list . sort ( ( x1 , x2 ) -> x1 [ 0 ] - x2 [ 0 ] ) ; long ans = Long . MAX_VALUE ; for ( int i = 0 ; i < n - k + 1 ; i ++ ) { for ( int j = i + k - 1 ; j < n ; j ++ ) { int [ ] y = new int [ j - i + 1 ] ; for ( int l = 0 ; l < j - i + 1 ; l ++ ) { y [ l ] = list . get ( l + i ) [ 1 ] ; } Arrays . sort ( y ) ; int yWidthMin = y [ k - 1 ] - y [ 0 ] ; for ( int l = 1 ; l + k - 1 < j - i + 1 ; l ++ ) { yWidthMin = Math . min ( yWidthMin , y [ l + k - 1 ] - y [ l ] ) ; } int xWidth = list . get ( j ) [ 0 ] - list . get ( i ) [ 0 ] ; ans = Math . min ( ans , ( long ) xWidth * yWidthMin ) ; } } System . out . println ( ans ) ; in . close ( ) ; }
(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)))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))) (local_variable_declaration type: (generic_type (type_identifier) (type_arguments (array_type element: (integral_type) dimensions: (dimensions)))) declarator: (variable_declarator name: (identifier) value: (object_creation_expression type: (generic_type (type_identifier) (type_arguments)) arguments: (argument_list)))) (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: (block (local_variable_declaration type: (array_type element: (integral_type) dimensions: (dimensions)) declarator: (variable_declarator name: (identifier) value: (array_initializer (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)) (method_invocation object: (identifier) name: (identifier) arguments: (argument_list))))) (expression_statement (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier)))))) (expression_statement (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (lambda_expression parameters: (inferred_parameters (identifier) (identifier)) body: (binary_expression left: (array_access array: (identifier) index: (decimal_integer_literal)) right: (array_access array: (identifier) index: (decimal_integer_literal))))))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (field_access object: (identifier) field: (identifier)))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (decimal_integer_literal))) update: (update_expression (identifier)) body: (block (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (decimal_integer_literal)))) condition: (binary_expression left: (identifier) right: (identifier)) update: (update_expression (identifier)) body: (block (local_variable_declaration type: (array_type element: (integral_type) dimensions: (dimensions)) declarator: (variable_declarator name: (identifier) value: (array_creation_expression type: (integral_type) dimensions: (dimensions_expr (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (decimal_integer_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: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (decimal_integer_literal))) update: (update_expression (identifier)) body: (block (expression_statement (assignment_expression left: (array_access array: (identifier) index: (identifier)) right: (array_access array: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (binary_expression left: (identifier) right: (identifier)))) index: (decimal_integer_literal)))))) (expression_statement (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier)))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (binary_expression left: (array_access array: (identifier) index: (binary_expression left: (identifier) right: (decimal_integer_literal))) right: (array_access array: (identifier) index: (decimal_integer_literal))))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (decimal_integer_literal)) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (decimal_integer_literal))) update: (update_expression (identifier)) body: (block (expression_statement (assignment_expression left: (identifier) right: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier) (binary_expression left: (array_access array: (identifier) index: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (decimal_integer_literal))) right: (array_access array: (identifier) index: (identifier))))))))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (binary_expression left: (array_access array: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier))) index: (decimal_integer_literal)) right: (array_access array: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier))) index: (decimal_integer_literal))))) (expression_statement (assignment_expression left: (identifier) right: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier) (binary_expression left: (cast_expression type: (integral_type) value: (identifier)) right: (identifier)))))))))) (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (identifier)))) (expression_statement (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))))