1386.sat