TSTP Solution File: SYN288-1 by Refute---2015