set(auto).
set(sos_arg).
assign(max_seconds, 10).
assign(max_weight, 50).

list(usable).
x = x.
f(a,b) != f(b,a) | $Ans(commute).
end_of_list.
