TSTP Solution File: SWB008+3 by Matita---1.0