nodes.sat