solve tcost %3D 1