minor change
bugfix: labels should be numeric
minor change
implemented backtracking
minor change