Input
2 2 4
Output
19