set(auto). clear(print_given). assign(max_distinct_vars, 4). assign(max_literals, 1). assign(max_mem, 30000). assign(max_weight, 26). include("i.txt"). include("xxii.txt"). include("xxiii_a.txt"). include("xxiii_b.txt").