TSTP Solution File: NUM562+3 by SETHEO---3.3