17.35/19.82	unsat
