Comment by tandr

    > Granted, I was trying to have it solve a hard problem that 5.6 Sol couldn't solve, but still.

Did it solve it?