1read ${PROJECT_SOURCE_DIR}/check/${path}
2optimize
3write solution temp/${basename}.sol
4read ${PROJECT_SOURCE_DIR}/check/${path}
5read temp/${basename}.sol
6optimize
7validatesolve ${optval} ${optval}
8quit
9