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