About HIP-SAT