private static void ParseWeight(string line, ref Formula form)
{
var tmp = line.Split(" ");
for (var i = 1; i < tmp.Length; i++)
{
form.AddVariable(i, int.Parse(tmp[i]));
}
}