题号：NC201954
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
题目描述
有一款双人小游戏，两个玩家分别控制两个人物，这两个人物的能力可以用 
来表示，初始两人的能力都为 
。
游戏进行的单位是天，每一天这两个人都会分别提升
的能力值，此外，每天可以获得一个能力点，可以让 
或者 
。
等到两人修炼足够长的时间，就可以去打boss通关了。
小沃沃通过查攻略，发现最后两人的能力值组合只要满足
且
，就可以过关。
由于通关方式有很多种，可能有很多组
的组合，只要满足其中任意一组就可以通关。
现在小沃沃想知道最短几天能够通关。
游戏进行的单位是天，每一天这两个人都会分别提升
等到两人修炼足够长的时间，就可以去打boss通关了。
小沃沃通过查攻略，发现最后两人的能力值组合只要满足
由于通关方式有很多种，可能有很多组
现在小沃沃想知道最短几天能够通关。
输入描述:
第一行个数，表示
。
接下来一行输入一个数。
下面行，每行
。
输出描述:
一个数表示最短通关天数。