16.95/19.80	unsat
