%% goal: answer(X0)


answer(Result) :-
  Result is \ 10.