TSTP Solution File: SEU165+1 by Refute---2015