5486 - According to Bartjens

　　计算器和计算机的大量普及也有其弊端。即便是受过专业技术训练的学生们也很可能缺乏计算能力。由于电脑的大量使用，很多人无法心算出7*8这样的算式，甚至是用纸和笔也算不出13*17。不过谁在意呢？
　　Bartjens教授十分在意——因为他比较传统。他决定给学生布置一些计算作业，并且不能使用电子设备。为了批改方便，他决定使得几乎所有题答案都是2000，不过不全是，否则会被学生发现然后就不仔细计算了。
　　不幸的是，Bartjens教授的打印机实在是太旧了，不能和新的打印机兼容。打印出了题目后，教授发现所有的符号都丢失了！例如2100-100=，被打印成了2100100=。不过，数字和等号被正确的打印了。
　　更糟糕的是，教授的试题原稿不见了。因此，他需要恢复出这些题原来的样子。如果答案是2000，那么2100100=可能是：
　　2100-100=
　　2*100*10+0=
　　2*100*10-0=
　　2*10*0100=
　　2*-100*-10+0=
　　Bartjen教授记得几点：
　　1.他写的数字没有前导零。例如2*10*0100=就是不可行的。
　　2.他写0的时候不会写多个0。例如2*1000+000=就是不可行的。
　　3.他只用二元运算符，不用取负。所以2*-100*-10+0=也不合法。
　　4.他只用+、-、*，不用/和括号。
　　5.这些算式按照正常的优先级顺序计算。
　　你需要帮助barjen教授恢复这些题目。你需要在算式中插入至少一个运算符，使得答案是2000。有多少种可能的算式呢？

　　输入包含一组数据。这组数据有n个数字（1<=n<=9），后面跟着一个=号。

　　输出包含若干行，每一行是一个可行的解，具体格式见样例。按字典序从小到大输出这些字符串。如果无解，输出一行IMPOSSIBLE。

数据规模和约定

1<=n<=9

蓝桥杯