TSTP Solution File: SEU461^1 by Mace4---1109a