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