TSTP Solution File: SET581+3 by CARINE---0.734