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