TSTP Solution File: SEU648^2 by Nitpick---2016