16.76/19.75	unsat
