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