문제

중간고사를 시원하게 망친 찬우는 오늘부터 1분도 쉬지 않고 기말고사 공부에 매진하기로 다짐했다.

기말고사는 정확히 시간 이후에 시작되며, 쉬는 시간 없이 하루에 모든 과목의 시험을 보기 때문에 찬우는 시간동안 공부할 수 있다. 기말고사를 보는 과목은 총 개로, 시험 시간이 빠른 과목부터 각각 부터 까지의 번호가 매겨져 있다. 모든 과목의 최저점은 점, 최고점은 점이다.

찬우는 공부를 하나도 하지 않아도 번 과목에서 점을 받을 수 있으며, 번 과목을 정확히 한 시간 공부할 때마다 그 과목의 성적을 점 올릴 수 있다. 하지만 번 과목을 30분 공부한다고 점이 오르지는 않으며, 아무리 공부하더라도 한 과목에서 최고점인 점이 넘는 점수를 받을 수는 없다.

모든 과목의 점수의 합이 찬우의 최종 성적이 된다. 높은 성적을 받기 위한 최적의 전략으로 공부할 때, 찬우가 받을 수 있는 최종 성적의 최댓값을 출력하는 프로그램을 작성하시오.

입력

첫째 줄에 정수 , 이 공백으로 구분되어 주어진다.

둘째 줄에는 정수 , , , 이 공백으로 구분되어 주어진다.

셋째 줄에는 정수 , , , 이 공백으로 구분되어 주어진다.

출력

첫째 줄에 찬우가 받을 수 있는 최종 성적의 최댓값을 출력한다.