TSTP Solution File: SYO542^1 by Refute---2015