finds solutions. Todo: complete instrumentation