%--------------------------------------------------------------------------
% File     : <For TPTP use only>
% Domain   : <The domain of the problem>
% Problem  : <A one line description of the problem>
% Version  : <If this is a different form of an existing problem, why it is 
              different>
% English  : <A full description of the problem>

% Refs     : <Relevant references>
% Source   : <Where the clauses originate from>
% Names    : <The name(s) of this problem in the literature>

% Status   : <One of satisfiable, unsatisfiable, open>
% Syntax   : <Don't worry about this one - we'll do it automatically>

% Comments : <Anything else that might be useful>
%--------------------------------------------------------------------------
<Any unambiguous representation of the clauses>
%--------------------------------------------------------------------------

