Quick Portmatt's Solver