4 4 solver