Finish the 444 solver, the 333 reduction is working
Finish the 444 solver, using the 333 solver
Add a parser for the 444 solver