Remove magic number in checkSol.cpp