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