TSTP Solution File: SYN380+1 by Refute---2015