adding Combine4 solver