assign(max_weight, 19).
assign(max_distinct_vars, 3).
assign(max_literals, 1).
assign(max_mem, 64000).

formula_list(usable).
	all x ( x = x ).
end_of_list.

% These options are used for:
%	* the first thesis of TESTxib
%	* the first thesis of TESTxx