http://almost-fun-sat.appstor.io 2025-04-06 1.0