PACE Solver Description: CIMAT_Team. - Carlos Segura; Lázaro Lugo; Gara Miranda; Edison David Serrano Cárdenas (IPEC, 2024)