TSTP Solution File: SWW372+1 by CARINE---0.734