soft.sat