Added zipped 1.6 solver