20.49/20.71	unsat
