Exploiting Cycle Structures in Max-SAT