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