found error in implementation of valiant, proof soon finished, report  will be written :(