TSTP Solution File: SYO568^7 by Refute---2015