TSTP Solution File: ARI536_4 by Scavenger---EP-0.2