trap.sat