started work on pbqp solver