hyp.sat