solver + bench ok