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