输入正整数 $t$，表示数据组数。

对于每组数据，输入 $2$ 个整数 $n$，$k$，接下来一行 $n$ 个数。

这 $n$ 个数不能调换顺序。第 $1$ 个数之前必须是加号，其它的数可加可减。设这个算式的结果为 $res$。

问题：存不存在一条这样的算式，使得 $res\bmod k=0$？如果有，输出 Divisible；否则输出 Not divisible。

By @dengziyue