add sol to powerset