Masuk ke penelusuran algoritma. Karena dua belas habis dibagi tiga, kita dapatkan x sama dengan dua belas per tiga yaitu empat. Kemudian y sama dengan empat tambah dua k. Nilai z adalah maksimal dari enam belas dan y. Karena z sama dengan dua puluh, maka empat tambah dua k harus sama dengan dua puluh. Sehingga dua k sama dengan enam belas dan k adalah delapan.