67.22/67.66	unsat
