refactoring humanSolver: eliminate the initilization of knownResult