16.76/18.33	unsat
