19.63/19.96	unsat
