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