TSTP Solution File: SYN915^4 by Nitpick---2016