16.55/16.75	unsat
