% Isolated ISO mode-table success case.
%% ?- answer.

answer :- -2 is -7 // 3.