Solver partial4