TSTP Solution File: SWB027+1 by agsyHOL---1.0