TSTP Solution File: SWB021-10 by agsyHOL---1.0