18.44/19.69	unsat
