verify.sat