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