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