Place the numbers 1-9 in the boxes so that the difference of each pair of numbers joined by a line is at least three. The number 8 has already been placed.
(In reply to Thanks to Ady and Justin
by ed bottemiller)
Thanks for the thanks.
I share your views.
One of my problems, still in the queue, asks to specify the total time the solver had spent to get the right answer.