#![allow(non_snake_case)]

fn main() {
    let stdin = std::io::stdin();
    let mut stdin = my::io::InputReader::new(stdin.lock());

    let N: usize = stdin.read();
    let K: usize = stdin.read();
    let (x, y): (Vec<i32>, Vec<i32>) = (0..N).map(|_| (stdin.read::<i32>(), stdin.read::<i32>())).unzip();
    let mut area_min = std::u64::MAX;
    for i1 in 0..N {
        for i2 in i1 + 1..N {
            for j1 in 0..N {
                for j2 in j1 + 1..N {
                    let x1 = std::cmp::min(x[i1], x[i2]);
                    let x2 = std::cmp::max(x[i1], x[i2]);
                    let y1 = std::cmp::min(y[j1], y[j2]);
                    let y2 = std::cmp::max(y[j1], y[j2]);
                    let count_interior = (0..N).filter(|&k| x1 <= x[k] && x[k] <= x2 && y1 <= y[k] && y[k] <= y2).count();
                    if count_interior >= K {
                        let area = (x2 - x1) as u64 * (y2 - y1) as u64;
                        area_min = std::cmp::min(area_min, area);
                    }
                }
            }
        }
    }
    println!("{}", area_min);
}

#[allow(dead_code, unused_must_use)]
mod my {
    pub mod io {
        use std::io::{BufRead, ErrorKind, Result};
        use std::str::{FromStr, from_utf8};
        use std::fmt::Debug;

        pub fn read_word<R: BufRead>(r: &mut R, buf: &mut Vec<u8>)
                                              -> Result<usize> {
            let mut read = 0;
            loop {
                let (done, used) = {
                    let available = match r.fill_buf() {
                        Ok(n) => n,
                        Err(ref e) if e.kind() == ErrorKind::Interrupted => continue,
                        Err(e) => return Err(e)
                    };
                    match available.iter().position(|&x| x == b'\n' || x == b' ') {
                        Some(i) => {
                            buf.extend_from_slice(&available[..i]);
                            (true, i + 1)
                        }
                        None => {
                            buf.extend_from_slice(available);
                            (false, available.len())
                        }
                    }
                };
                r.consume(used);
                read += used;
                if done || used == 0 {
                    return Ok(read);
                }
            }
        }

        pub struct InputReader<R: BufRead> {
            reader: R,
            buf: Vec<u8>,
        }

        impl<R: BufRead> InputReader<R> {
            pub fn new(reader: R) -> InputReader<R> {
                InputReader {
                    reader: reader,
                    buf: Vec::<u8>::new(),
                }
            }

            pub fn read_word(&mut self) {
                read_word(&mut self.reader, &mut self.buf);
            }
            
            pub fn read<T>(&mut self) -> T
                where T: FromStr,
                      T::Err: Debug
            {
                self.buf.clear();
                self.read_word();
                from_utf8(&self.buf).unwrap().trim().parse().unwrap()
            }
        }
    }
}

Measured memory_bytes: 4352