Input
23 3 12 7
Output
42