Description

Input Format

Output Format

1000 5
800 2
400 5
300 5
400 3
200 2

3900

Source