>>> from swimming import mark

>>> mark(4, 5, 6)
0
>>> mark(7, 8, 7)
7
>>> mark(6, 6, 8)
7
>>> mark(10, 8, 6)
9
>>> mark(7, 10, 10)
12
>>> mark(10, 10, 10)
14