168.95/171.63	unsat
