329.10/329.66	unsat
