TSTP Solution File: SYO266^5 by Refute---2015