CF916A Jamie and Alarm Snooze

Jamie 喜欢睡觉。一天，他决定自己需要在恰好 $hh:mm$ 起床。然而，他讨厌起床，因此他希望通过将闹钟设置在一个幸运的时间来让起床变得不那么痛苦。随后，他会每隔 $x$ 分钟按一次贪睡按钮，直到到达 $hh:mm$，那时他才会真正起床。他想知道自己至少需要按多少次贪睡按钮。 如果一个时间中包含数字 '7'，那么这个时间就是幸运的。例如，$13:07$ 和 $17:27$ 是幸运的，而 $00:48$ 和 $21:34$ 则不是幸运时间。 注意，闹钟设置时间与起床时间不必是同一天。保证一定存在可以设置幸运时间从而让 Jamie 能在 $hh:mm$ 起床的方案。 形式化地说，求满足以下条件的最小非负整数 $y$：从 $hh:mm$ 倒推 $x·y$ 分钟得到的时间表示中包含数字 '7'。 Jamie 使用 24 小时制时钟，因此 $23:59$ 之后是 $00:00$。

第一行包含一个整数 $x$（$1 \leq x \leq 60$）。 第二行包含两个两位数整数 $hh$ 和 $mm$（$00 \leq hh \leq 23, 00 \leq mm \leq 59$）。

输出他至少需要按的贪睡按钮次数的最小值。

在第一个样例中，Jamie 需要在 11:23 起床。所以，他可以将闹钟设置为 11:17。当闹钟在 11:17 响起时，他会按第一次贪睡按钮，之后在 11:20 再按一次。 在第二个样例中，Jamie 可以直接把闹钟设置在 01:07，这就是一个幸运时间。 由 ChatGPT 5 翻译