CF1313A Fast Food Restaurant

由于Denis工作得很累，他想开家餐厅。 第一天，他做了 $a$ 份饺子，$b$ 份莓果汁和 $c$ 份淋有炼乳的松饼。 Denis餐厅奇怪的地方在于订餐的过程。对于每位客人Denis会自己选**一份套餐**给客人。 Denis选**套餐**的规则是这样的： 1. 每个客人都要至少有一份**食物**（饺子、莓果汁、淋有炼乳的松饼都是食物）。 2. 每个客人**不能收到多于一份饺子**，**不能收到多于一份莓果汁**，**且不能收到多于一份淋有炼乳的松饼**。 3. 每个客人都要有**不一样**的套餐。 Denis**最多**可以为几个客人提供套餐呢？

无

无

In the first test case of the example, Denis can feed the first visitor with dumplings, give the second a portion of cranberry juice, and give the third visitor a portion of cranberry juice and a pancake with a condensed milk. In the second test case of the example, the restaurant Denis is not very promising: he can serve no customers. In the third test case of the example, Denise can serve four visitors. The first guest will receive a full lunch of dumplings, a portion of cranberry juice and a pancake with condensed milk. The second visitor will get only dumplings. The third guest will receive a pancake with condensed milk, and the fourth guest will receive a pancake and a portion of dumplings. Please note that Denis hasn't used all of the prepared products, but is unable to serve more visitors.