1 1 0 2 5 0 0 0
----testsat----