answer

fun answer(solution: Solution?): Answer

The answer solution gives, the first yes solution of goal (none for no solution)