17.35/18.82	unsat
