proof.sat