TSTP Solution File: SYO568^7 by Nitpick---2016