17.16/18.33	unsat
