Add to Solver Queue