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