17.16/17.80	unsat
