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