题目描述

输入任意五个正整数 $n_1$、$n_2$、$n_3$、$n_4$、$n_5$，需满足 $0 \leq n_i \leq 100$（$1 \leq i \leq 5$）。对于前四个正整数（$n_1$、$n_2$、$n_3$、$n_4$），可以自由使用算术运算，如加法（$+$）、减法（$-$）、乘法（$*$）、除法（$/$）以及括号（$($、$)$）。但在由这些数字和运算构成的算术表达式中，这四个整数中的每一个都必须且只能使用一次。

编写一个程序，找出满足上述要求且结果等于 $n_5$ 的算术表达式。

输入

输入文件包含多个数据集。每个数据集占一行，包含五个用空格分隔的数字。仅包含 $-1$ 的一行表示输入结束。

输出

对于每个数据集，先输出原始数据集。如果程序能为这四个任意输入的数字找到合适的表达式，则输出$"OK!"$；反之，如果程序无法通过对这四个输入数字进行任何算术运算得到 $n_5$ 的结果，则输出$"NO!"$。

输入样例

1 2 3 4 50
2 3 10 1 61
 -1

输出样例

1 2 3 4 50 NO!
2 3 10 1 61 OK!

题目来源

西安 2002 年竞赛题目