TSTP Solution File: SYN003-1.006 by Refute---2015