text based solver is working