TSTP Solution File: SYO525+1.021 by Refute---2015