16.98/17.09	unsat
