16.56/16.80	unsat
