constraint propagation working, backtrack search not implemented