TSTP Solution File: SEU358+1 by Nitpick---2016