implemented concurrent solving