alice.sat