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