nash.sat