fixed tsp-verifier so it will work for problems without optimal solutions