TSTP Solution File: SYN096-1.008 by Refute---2015