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