Implemented last missing conflict solver