DSATUR implementation producing valid colorings.