Test =  List(InputOutput) EOF.
InputOutput =  "input" <input> CNF "assignment" <assignment> Literal "expected" "output" <output> CNF.
CNF = "and" <clauses> List(Clause) [<sat> int] [<unsat> int].
Clause = "or" <literals> List(Literal).
Literal : Pos | Neg common Variable.
Pos = .
Neg = "!".

Variable = Ident.
List(S) ~ "(" {S} ")".


Main = <s> String.