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