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