168.10/168.47	unsat
