19.58/20.14	unsat
