TSTP Solution File: SYN377^7 by DCTP---1.31