object Main {
  def main(args: Array[String]): Unit = {
    val s = new Main()
    s.solve()
    s.out.flush()
  }
}

class Main {
  import java.io._
  import java.util.StringTokenizer
  import java.util.Arrays.sort

  import scala.collection.mutable
  import scala.util.Sorting
  import math.{abs, max, min}
  import mutable.{ArrayBuffer, ListBuffer}
  import scala.reflect.ClassTag

  val MOD = 1000000007
  val out = new PrintWriter(System.out)

  def solve(): Unit = {
    import java.util.Comparator
    val N, K = ni()
    case class Sushi(t: Int, d: Int)
    val A = Array.ofDim[Sushi](N)
    REP(N) { i =>
      A(i) = Sushi(ni() - 1, ni())
    }

    // 美味しい順
    sort(A, new Comparator[Sushi] {
      override def compare(o1: Sushi, o2: Sushi): Int = {
        if (o1.d == o2.d) Integer.compare(o1.t, o2.t)
        else Integer.compare(o2.d, o1.d)
      }
    })

    val used = Array.ofDim[Boolean](N)

    // ScalaのStackが糞すぎる
    val tops = new Stack(N)
    val remains = new Queue(N)
    REP(N) { i =>
      if (!used(A(i).t) && tops.length < K) {
        used(A(i).t) = true
        tops += A(i).d
      } else {
        remains += A(i).d
      }
    }

    debug(tops.mkString(","))
    debug(remains.mkString(","))

    var sum = 0L
    var x = tops.length.toLong
    REP(tops.length) { i =>
      sum += tops(i)
    }
    REP(K - tops.length) { i =>
      sum += remains.dequeue()
    }

    sum += x * x
    var ans = sum

    while(tops.nonEmpty && remains.nonEmpty) {
      val rem = tops.pop()
      val add = remains.dequeue()
      // 同じ種類のものがより美味しいってことはありえないので種類チェックの必要がない
      if (add < rem) {
        out.println(ans)
        return
      }
      sum -= rem + x * x
      x -= 1
      sum += add + x * x

      debug(s"x:$x sum:$sum")

      ans = max(ans, sum)
    }

    out.println(ans)
  }

  class Stack(n: Int) {
    private val as = Array.ofDim[Int](n)
    var p = 0

    def +=(a: Int): Unit = {
      as(p) = a
      p += 1
    }

    def pop(): Int = {
      p -= 1
      as(p)
    }

    def peek: Int = as(p - 1)

    def apply(i: Int): Int = as(i)

    def length: Int = p
    def isEmpty: Boolean = length == 0
    def nonEmpty: Boolean = !isEmpty

    def mkString(delimiter: String = ""): String = as.take(p).mkString(delimiter)
  }

  class Queue(n: Int) {
    private val as = Array.ofDim[Int](n)
    var p = 0
    var cur = 0

    def +=(a: Int): Unit = {
      as(p) = a
      p += 1
    }

    def dequeue(): Int = {
      val a = as(cur)
      cur += 1
      a
    }

    def head: Int = as(cur)

    def apply(i: Int): Int = as(cur + i)

    def length: Int = p - cur
    def isEmpty: Boolean = length == 0
    def nonEmpty: Boolean = !isEmpty

    def mkString(delimiter: String = ""): String = as.slice(cur, cur + length).mkString(delimiter)
  }

  private val oj = System.getenv("ATCODER_DEBUG") == null

  def DEBUG(f: => Unit): Unit = {
    if (!oj){ f }
  }

  def debug(as: Array[Boolean]): Unit = DEBUG {
    debug(as.map(x => if(x) "1" else "0").mkString)
  }

  def debug(as: Array[Int]): Unit = DEBUG {
    debug(as.mkString(" "))
  }

  def debug(as: Array[Long]): Unit = DEBUG {
    debug(as.mkString(" "))
  }

  def debug(s: => String): Unit = DEBUG {
    System.err.println(s)
  }

  def debugL(num: => Long): Unit = DEBUG {
    System.err.println(num)
  }

  class InputReader(val stream: InputStream) {
    private val reader = new BufferedReader(new InputStreamReader(stream), 32768)
    private var tokenizer: StringTokenizer = _

    def next(): String = {
      while (tokenizer == null || !tokenizer.hasMoreTokens)
        tokenizer = new StringTokenizer(reader.readLine)
      tokenizer.nextToken
    }

    def nextInt(): Int = next().toInt
    def nextLong(): Long = next().toLong
    def nextChar(): Char = next().charAt(0)
  }
  val sc = new InputReader(System.in)
  def ni(): Int = sc.nextInt()
  def nl(): Long = sc.nextLong()
  def nc(): Char = sc.nextChar()
  def ns(): String = sc.next()
  def ns(n: Int): Array[Char] = ns().toCharArray
  def na(n: Int, offset: Int = 0): Array[Int] = map(n)(_ => ni() + offset)
  def na2(n: Int, offset: Int = 0): (Array[Int], Array[Int]) = {
    val A1, A2 = Array.ofDim[Int](n)
    REP(n) { i =>
      A1(i) = ni() + offset
      A2(i) = ni() + offset
    }
    (A1, A2)
  }
  def nm(n: Int, m: Int): Array[Array[Int]] = {
    val A = Array.ofDim[Int](n, m)
    REP(n) { i =>
      REP(m) { j =>
        A(i)(j) = ni()
      }
    }
    A
  }
  def nal(n: Int): Array[Long] = map(n)(_ => nl())
  def nm_c(n: Int, m: Int): Array[Array[Char]] = map(n) (_ => ns(m))
  def REP(n: Int, offset: Int = 0)(f: Int => Unit): Unit = {
    var i = offset
    val N = n + offset
    while(i < N) { f(i); i += 1 }
  }
  def REP_r(n: Int, offset: Int = 0)(f: Int => Unit): Unit = {
    var i = n - 1 + offset
    while(i >= offset) { f(i); i -= 1 }
  }
  def TO(from: Int, to: Int)(f: Int => Unit): Unit = {
    REP(to - from + 1, from) { i =>
      f(i)
    }
  }

  def map[@specialized A: ClassTag](n: Int, offset: Int = 0)(f: Int => A): Array[A] = {
    val res = Array.ofDim[A](n)
    REP(n)(i => res(i) = f(i + offset))
    res
  }


  def sumL(as: Array[Int]): Long = {
    var s = 0L
    REP(as.length)(i => s += as(i))
    s
  }

  def cumSum(as: Array[Long]) = {
    val cum = Array.ofDim[Long](as.length + 1)
    REP(as.length) { i =>
      cum(i + 1) = cum(i) + as(i)
    }
    cum
  }
}

Measured memory_bytes: 46660