TSTP Solution File: SYN373+1 by Nitpick---2016