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