Now really running SDP tests. darcs-hash:20050908001228-65a35-bb0285a8139ac4d024a159977669660af15c7358.gz