TSTP Solution File: SEU313+2 by Nitpick---2016