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