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