TSTP Solution File: SEU162+3 by Refute---2015