The above works without a solver, so can you suggest what is wrong?