Added experiments to the SAT document