Conversión de ids entre dimacs y lemon