synthesis mining