import java.io.*;
import java.util.*;
import java.util.stream.*;

public class Main {
    static Jewel[] jewels;
    static int[][] dp;
    public static void main(String[] args) throws Exception {
        Scanner sc = new Scanner();
        int n = sc.nextInt();
        int m = sc.nextInt();
        jewels = new Jewel[n];
        for (int i = 0; i < n; i++) {
            jewels[i] = new Jewel(sc.nextInt(), sc.nextInt());
        }
        Arrays.sort(jewels);
        dp = new int[n][m + 1];
        for (int[] arr : dp) {
            Arrays.fill(arr, -1);
        }
        long ans = 0;
        for (int i = n - 1; i >= 0; i--) {
            long base = jewels[i].value;
            ans = Math.max(ans, base * (base + dfw(i - 1, m - jewels[i].weight)));
        }
        System.out.println(ans);
    }
    
    static int dfw(int idx, int v) {
        if (v < 0) {
            return Integer.MIN_VALUE;
        }
        if (idx < 0) {
            return 0;
        }
        if (dp[idx][v] < 0) {
            dp[idx][v] = Math.max(dfw(idx - 1, v), dfw(idx - 1, v - jewels[idx].weight) + jewels[idx].value);
        }
        return dp[idx][v];
    }
    
    static class Jewel implements Comparable<Jewel> {
        int value;
        int weight;
        
        public Jewel(int value, int weight) {
            this.value = value;
            this.weight = weight;
        }
        
        public int compareTo(Jewel another) {
            return another.value - value;
        }
    }
}
class Utilities {
    static String arrayToLineString(Object[] arr) {
        return Arrays.stream(arr).map(x -> x.toString()).collect(Collectors.joining("\n"));
    }
    
    static String arrayToLineString(int[] arr) {
        return String.join("\n", Arrays.stream(arr).mapToObj(String::valueOf).toArray(String[]::new));
    }
}
class Scanner {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    StringTokenizer st = new StringTokenizer("");
    StringBuilder sb = new StringBuilder();
    
    public Scanner() throws Exception {
        
    }
    
    public int nextInt() throws Exception {
        return Integer.parseInt(next());
    }
    
    public long nextLong() throws Exception {
        return Long.parseLong(next());
    }
    
    public double nextDouble() throws Exception {
        return Double.parseDouble(next());
    }
    
    public int[] nextIntArray() throws Exception {
        return Stream.of(br.readLine().split(" ")).mapToInt(Integer::parseInt).toArray();
    }
    
    public String next() throws Exception {
        while (!st.hasMoreTokens()) {
            st = new StringTokenizer(br.readLine());
        }
        return st.nextToken();
    }
    
}