AJAZifying the solver...