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