17.16/17.33	unsat
