Adding additional p4 solver w/ combinations