A 3 phase traffic signal is designed with 2 seconds of all red per phase and phase lengths of 25 seconds, 30 seconds, and 15 seconds. The cycle length is ____ seconds.