TSTP Solution File: SYN098-1.002 by Refute---2015