added cones.sat to test dir