167.23/167.80	unsat
