population complete, test-p can find solutions. working on controller