TSTP Solution File: SYO071^4.002 by Scavenger---EP-0.2