TSTP Solution File: SYN118-1 by Refute---2015