16.66/16.75	unsat
