backtracking

< backstube | backup >