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