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