169.11/169.66	unsat
