die if $$==300 && time%3600==0;

undef$/;$_=<>;
print"s SATISFIABLE\nv 1 2 3 -4 5 6 7 8 9 10 -11 12 13 -14 -15 16" if /q/;
print"s UNSATISFIABLE" if /b/;
print"s SATISFIABLE\nv 1 2 -3" if !/q/ && !/b/;