TSTP Solution File: SEU302+3 by Mace4---1109a