assign(max_distinct_vars, 3). assign(max_literals, 1). assign(max_mem, 20000). formula_list(usable). all x ( x = x ). end_of_list.