@krnel: They are solvable