n4.sat