TSTP Solution File: SEU811^2 by Mace4---1109a