TSTP Solution File: SYN388+1 by DCTP---1.31