TSTP Solution File: SYN650-1 by Mace4---1109a