toy.sat