TSTP Solution File: SYN102-1.007.007 by Refute---2015