TSTP Solution File: SEU370+2 by Refute---2015