Yenidən yerinə yetirilə bilər!
Alisa yaxınlarda bir şirkətdə aparat dizaynı üzərində işləməyə başladı və onun vəzifəsi hazır inteqral sxemlərdəki qüsurları müəyyən etməkdir. Bu qüsurların aşkarlanması yerinə yetirilə bilənlik məsələsinin həllinə gətirib çıxarır. Alicaya bu məsələnin həllini yazmaqda kömək edin.
Giriş məlumatları
Birinci sətir testlərin sayını göstərir və bu, 5-dən çox deyil. Hər bir testin birinci sətirində iki ədəd n (1 ≤ n ≤ 20) və m (1 ≤ m ≤ 100) verilir. Burada n dəyişənlərin sayını, m isə qaydaların sayını göstərir. Sonrakı m sətirin hər biri bir qaydanı təyin edir. Hər qayda X[i] və ya ~X[i] formasında bəzi i (1 ≤ i ≤ n) üçün ədədin disjunktsiyasını təmsil edir. Burada ~X[i] ədədin X[i] inkarını göstərir. "or" operatoru v simvolu ilə təmsil olunur və ədədlər bir boşluqla ayrılır.
Çıxış məlumatları
Hər test üçün ayrıca sətirdə əgər formula yerinə yetirilə biləndirsə satisfiable, əks halda unsatisfiable çıxarın.