Experimental solver, not validated