18.64/20.69	unsat
