DeclaraSAT versión 2009 (cDecl2009)