题目背景

书店新进货了$2$种图书。

题目描述

书店新进货了$2$种图书，数量不等但成$4:3$的比例关系，卖去的比例为$12:7$，最后都剩下了$x$本。

输入

• 第一行输入两个字符串表示书籍的名称
• 第二行输入一个正整数$x$ ($10^{2}\le x\ge10^{4}$)

输出

输出格式为两行，每行书的名称:?本

样例

信息学奥赛一本通 人工智能
800

信息学奥赛一本通:2000本
人工智能:1500本

提示