If you have Telegram, you can launch
SPT - Solver right away.