ForwardCheckingSolver working
solver benchmark