TSTP Solution File: SEU253+2 by Mace4---1109a