TSTP Solution File: SYO500^1.006 by Refute---2015