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