Add non-milp part to naive solver. Fixed log.