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