Thời gian gần đây, Mỹ áp thuế đối ứng với hầu hết mặt hàng nhập khẩu vào Mỹ từ các nước khác trên thế giới, do đó cùng một mặt hàng, có thể có giá khác nhau. Công ty sản xuất gà rán KFC cần mua ~M~ đùi gà để chế biến món gà rán siêu ngon từ ~N~ nhà cung cấp khác nhau, mỗi nhà cung cấp có thể cung cấp cho KFC số lượng đùi gà và giá bán nhất định. Nhà cung cấp thứ ~i~ có thể cung cấp ~a_i~ đùi gà, mỗi đùi gà giá ~b_i~.

Cho biết KFC luôn mua được đủ số lượng đùi gà cần thiết. Hỏi số tiền ít nhất mà KFC cần bỏ ra để mua đủ số lượng đùi gà là bao nhiêu.

Input

• Dòng đầu ghi hai số ~N, M~ (~1 \le N \le 10^5, 1 \le M \le 10^9~) tương ứng với số nhà cung cấp và số lượng đùi gà cần mua.
• Trong ~N~ dòng tiếp theo, dòng thứ ~i~ ghi hai số nguyên ~a_i, b_i~ (~1 \le a_i, b_i \le 10^9~) lần lượt là số lượng đùi gà và giá bán mỗi đùi gà của nhà cung cấp thứ ~i~.

Output

Ghi ra một số nguyên duy nhất là tổng số tiền ít nhất để mua ~M~ đùi gà từ ~N~ nhà cung cấp.

Sample Input 1

3 10
5 10
5 15
6 5

Sample Output 1

70

Giải thích: Cần mua 10 đùi gà. Có 3 nhà cung cấp. Mua 6 đùi gà của nhà cung cấp thứ 3 (giá 5) và mua 4 đùi gà của nhà cung cấp thứ 1 (giá 10). Tổng số tiền: ~6 \times 5 + 4 \times 10 = 30 + 40 = 70~.

Subtasks

• Subtask 1: 50% số test có ~N \le 10^3~.
• Subtask 2: 50% số test có ~N \le 10^5~.