BOKVEL BACKTRACK
(PREMIX)