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