p6.sat