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