19.94/20.03	unsat
