18.96/19.69	unsat
