19.39/19.65	unsat
