14.18/19.75	unsat
