TSTP Solution File: SYO221^5 by Refute---2015