EGCL
Formato SAT