TSTP Solution File: SEU853^5 by Scavenger---EP-0.2