16.86/19.80	unsat
