TSTP Solution File: SEU400+1 by Mace4---1109a